pt_PT en_GB

Teoria da Computação (1 º Sem Ano Lectivo 2024)

LECC

Sumários

Tipo do Turno:
Turno:
Docente:
Ordem:

13/05/2024 11:20 (Sala D1-204) Aula Teórica

Máquinas Universais

Máquina de Turing

Modificado em 14/05/2024 00:27 Prof. Mário Sitoe Presenças: não foram contabilizadas.

08/05/2024 13:20 (Sala SM-120) Aula Prática

Aula prática

Resolução da ficha 4

Modificado em 09/05/2024 13:46 Prof. Mário Sitoe Presenças: não foram contabilizadas.

06/05/2024 11:20 (Sala D1-204) Aula Teórica

Máquinas Universais

Máquina NORMA

Modificado em 07/05/2024 21:10 Prof. Mário Sitoe Presenças: não foram contabilizadas.

29/04/2024 11:20 (Sala D1-204) Aula Teórica

Equivalência entre Programas e Máquinas

Equivalência forte de programas e máquinas

Modificado em 09/05/2024 13:50 Prof. Mário Sitoe Presenças: não foram contabilizadas.

24/04/2024 13:20 (Sala SM-120) Aula Prática

Realização do Teste 1

Realização do Teste 1

Modificado em 25/04/2024 22:56 Prof. Mário Sitoe Presenças: não foram contabilizadas.

22/04/2024 11:20 (Sala D1-204) Aula Teórica

Máquinas Universais

Máquina Norma (Intro)

Modificado em 22/04/2024 23:59 Prof. Mário Sitoe Presenças: não foram contabilizadas.

17/04/2024 13:20 (Sala SM-120) Aula Prática

Aula Prática

Resolução da ficha_2: Equivalência de Programas e Máquinas. 

Modificado em 17/04/2024 17:05 Prof. Mário Sitoe Presenças: não foram contabilizadas.

10/04/2024 13:20 (Sala SM-120) Aula Prática

Resolução da ficha

Equivalencia de programas e máquinas

Modificado em 10/04/2024 15:22 Prof. Mário Sitoe Presenças: não foram contabilizadas.

03/04/2024 13:20 (Sala SM-120) Aula Prática

Resolução da ficha 2

Equivalência forte de programas

Modificado em 10/04/2024 16:47 Prof. Mário Sitoe Presenças: não foram contabilizadas.